home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / threechords.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.2 KB  |  30 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.002717, 0.008152, .invisible, "1");
  3. v2 = .free(0.755435, 0.013587, .invisible, "2");
  4. c1 = .c.vv(v1, v2);
  5. v3 = .vonc(c1, 0.689996, 0.316328, .invisible, .cross);
  6. v4 = .vonc(c1, -0.230885, 0.731176, .green, .cross);
  7. v5 = .vonc(c1, -0.760486, 0.032862, .green, .cross);
  8. v6 = .vonc(c1, -0.048583, -0.748631, .green, .cross);
  9. v7 = .v.vvmid(v3, v6, .invisible, .plus);
  10. v8 = .v.vvmid(v3, v4, .invisible, .plus);
  11. v9 = .v.vvmid(v3, v5, .invisible, .plus);
  12. c2 = .c.vv(v8, v3);
  13. c3 = .c.vv(v9, v3);
  14. c4 = .c.vv(v7, v3);
  15. v11 = .v.cc(c4, c3, 2, .red, .plus);
  16. v12 = .v.cc(c4, c2, 2, .red, .plus);
  17. v15 = .v.cc(c3, c2, 2, .red, .plus);
  18. l1 = .l.vv(v11, v12, .red);
  19. l2 = .l.vv(v12, v15, .red);
  20. l3 = .l.vv(v15, v11, .red);
  21. l4 = .l.vv(v7, v7, .red);
  22. .text("Three Chords:");
  23. .text("");
  24. .text("If three chords of a circle share a common point, and those");
  25. .text("chords are used as diameters of three circles, then the three");
  26. .text("pair-wise intersections of the circles lie in a straight line.");
  27. .text("In the figure, the three green points can be moved to control the");
  28. .text("three chords.  Keep them in the same order, or the program may");
  29. .text("choose the common point of the chords as the intersection.");
  30.